def alpha[A]: (A => ?) ~> F